A Petri-net based modeling tool, for analysis and evaluation of computer systems

Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports different Petri net extensions but also provides some features not supported before. Automatic model construction, steady state analysis of different extensions including constant timed Petri net, run time reconstruction, learning and  feature, and automatic solution search are some specific features of the proposed tool. In addition to introducing the model, its capabilities  are shown through some examples.